161. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
248
.
S4
1979
162. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
163. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
164. Stable groups
پدیدآورنده :
موضوع : Model theory,Group theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
165. Stochastic processes on a lattice and Gibbs measures
پدیدآورنده : Prum, Bernard.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Phase transformations )Statistical physics( , Ising model , Lattice theory , Markov processes , Mathematical physics
رده :
QC
175
.
16
.
P5
P78
166. Stochastic processes on a lattice and Gibbs measures,Processus sur un reseau et mesure de Gibbs. English
پدیدآورنده : Prum, Bernard.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Phase transformations )Statistical physics(,، Ising model,، Lattice theory,، Markov processes,، Mathematical physics
رده :
QC
175
.
16
.
P5
.
P7813
1991
167. Studies in model theor
پدیدآورنده : ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory
رده :
QA
.
M67
9
.
7
168. Studies in model theory
پدیدآورنده : Morley, Michael Darwin, 0391-
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
169. Studies in model theory
پدیدآورنده : Morley, Michael Darwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory
رده :
QA
9
.
7
.
M67
170. Studies in model theory
پدیدآورنده : MORLEY,MICHAEL DARWIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MODEL THEORY
رده :
QA
9
.
7
.
S78
171. Studies in model theory
پدیدآورنده : )by( Jon Barwise )and others( M. D. Morley, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S78
172. The axiom of determinacy, forcing axioms, and the nonstationary ideal
پدیدآورنده : Woodin, W. Hugh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Forcing )Model theory(
رده :
QA
9
.
7
.
W66
1999
173. The metamathematics of algebraic systems. Collected papers : 1936-1967
پدیدآورنده : Mal'tsev, Anatolii Ivanovich
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Metamathematics-- Collected Works,، Model theory-- Collected works,، Algebra-- Collected works
رده :
QA
9
.
M2813
174. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
175. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
65
.
B8
1973
176. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Godel's theorem,Model theory
رده :
QA
3
.
L28
no
.
328
177. The one-dimensional Hubbard model
پدیدآورنده : Fabian H.L. Essler ...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Hubbard model,، Quantum theory,، Statistical mechanics
رده :
QC
176
.
8
.
E4
O54
2005
178. The standard model
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Particles (Nuclear physics) ; Standard model (Nuclear physics) ; Quantum field theory. ;
179. The standard model
پدیدآورنده : / C.P. Burgess and Guy D. Moore
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Particles (Nuclear physics),Standard model (Nuclear physics),Quantum field theory
رده :
QC794
.
6
S75B87
2007
180. The standard model
پدیدآورنده : / C.P. Burgess and Guy D. Moore
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Particles (Nuclear physics),Standard model (Nuclear physics),Quantum field theory
رده :
QC794
.
6
.
S75
,
B87
2007